Towards Assurance-Driven Architectural Decomposition of Software Systems

Computer systems are so complex, they usually designed and analyzed in terms of layers abstraction. Complexity is still a challenge facing logical reasoning tools that used to find software design flaws implementation bugs. Abstraction also common technique for scaling those more complex systems. However, the abstractions phase many cases different from assurance. In this paper we argue quality assurance techniques operate on aspects To facilitate assurance, smooth integration into Software Development Lifecycle (SDLC), present 4-dimensional meta-architecture separates computational, coordination, stateful artifacts early stage. We enumerate some challenges can be addressed by meta-architecture, demonstrate it high-level simple file system.